Conversion by Evaluation
نویسنده
چکیده
We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusing existing compilers and runtime environments for stock functional languages, without peeking under the hood, for a fast yet cheap system in terms of implementation effort. Our focus is on performance of untyped normalization by evaluation. We demonstrate that with the aid of a standard optimization for higher order programs (namely uncurrying), the reuse of native datatypes and pattern matching facilities of the underlying evaluator, we may obtain a normalizer with little to no performance overhead compared to a regular evaluator.
منابع مشابه
Conversion and Residence Time Calculation for Gas-solid Solid Reactions of the Cylindrical-shaped Particles with Con-stant Size Using the Shrinking Core Model
In this paper, a mathematical model is developed to calculate the conversion and the residence time reaction for plug flow and mixed flow in the reactors filled with cylin-drical particles using the shrinking core model. In this modeling, the size of the particles is un-chamged during the reaction. Also, the reaction rate is controlled by the gas layer resistance, the ash layer resistance, and ...
متن کاملControl-Strategies-for-Performance-Assessment-of-an- Autonomous Wind Energy Conversion System
Renewable energy sources like wind, sun, and hydro are considered as a reliable alternative to the traditional energy sources such as oil, natural gas, or coal. This paper describes modeling and simulations to determine a method for the power performance evaluation of autonomous wind turbine system. A speed control regulator is utilized to control the DC bus voltage. The inverter gate’s signals...
متن کاملSynthesis of 4-methoxy-1,3-benzenediolylhydrazones and evaluation of their anti-platelet aggregation activity
In our present investigation, a series of novel 4-methoxy-1,3-benzenediolyl-hydrazones were designed and synthesized, and their ability to inhibit platelet aggregation was evaluated by adenosine diphosphate (ADP) and arachidonic acid (AA). The structures of the synthesized compounds were confirmed by spectral data. Results demonstrated that the activities of all compounds excelled the positive d...
متن کاملSynthesis of 4-methoxy-1,3-benzenediolylhydrazones and evaluation of their anti-platelet aggregation activity
In our present investigation, a series of novel 4-methoxy-1,3-benzenediolyl-hydrazones were designed and synthesized, and their ability to inhibit platelet aggregation was evaluated by adenosine diphosphate (ADP) and arachidonic acid (AA). The structures of the synthesized compounds were confirmed by spectral data. Results demonstrated that the activities of all compounds excelled the positive d...
متن کاملEvaluation of replacement of earthworm powder (Eisenia foetida) with fish powder in the diet of Western white shrimp (Litopenaeus vannamei) and its effect on growth factors, survival and feed conversion ratio
This study was performed to investigate the possibility of replacing earthworm powder (Eisenia foetida) with fish powder in the diet of western white shrimp Litopenaeus vannamei and its effect on factors related to growth performance, survival and feed conversion ratio for 50 days. In each tank, 150 pieces, 15-day-post larvae weighing 0.05 g and a length of 9 mm were stored in sea water with a...
متن کاملEvaluation of Cross-languag Using Bilingual and Non-bil
Cross-language voice conversion is useful for many applications, and we are trying to apply the technique to a language training system for reducing voice individuality differences. In this paper, we describe experiments that test effectiveness of an extension of single-language voice conversion, to include cross-language utterances. The performance was investigated by objective and perceptual ...
متن کامل